void rb_insert(ptnode, ptnode);
ptnode rb_delete(ptnode, ptnode);
long blackheight(ptnode);
long os_key_rank(ptnode, long);	/* ptnode: root[T] */
